#ifndef __PROBABILITY_HPP__
#define __PROBABILITY_HPP__

class Probability
{
public:
  Probability(double probability);
  Probability operator !() const;
  Probability operator&&(const Probability & probability);
  Probability operator||(const Probability & probability);
private:
  double probability_m;
};

#endif
